commutativity of binary operations